Manipulation in Group Argument Evaluation.

Given an argumentation framework and a group of agents, the individuals may have divergent opinions on the status of the arguments. If the group needsto reach a common position on the argumentation framework, the question is how the individual evaluations can be mapped into a collective one. Thisproblem has been recently investigated by Caminada and Pigozzi. In this paper, we investigate the behaviour of two of such operators from a socialchoice-theoretic point of view. In particular, we study under which conditions these operators are Pareto optimal and whether they are manipulable.Social choice theory; Judgment aggregation; Argumentation; Collective decision making;

Manipulation in group argument evaluation.

Given an argumentation framework and a group of agents, the individuals may have divergent opinions on the status of the arguments. If the group needs to reach a common po- sition on the argumentation framework, the question is how the individual evaluations can be mapped into a collective one. This problem has been recently investigated in [1]. In this paper, we study under which conditions these operators are Pareto optimal and whether they are manipulable.Collective decision making; Argumentation; Judgment aggregation; Social choice theory;

Grounded semantics as persuasion dialogue

In the current work, we provide a formal Mackenzie-style persuasion dialogue for grounded semantics. We show that an argument is in the grounded extension iff the proponent is able to persuade a maximally sceptical opponent in the dialogue

An Implementation of Basic Argumentation Components (Demonstration)

The current implementation provides a demonstration of a number of basic argumentation components that can be applied in the context of multi-agent systems. These components include algorithms for calculating argumentation semantics, as well as for determining the justification status of the arguments and providing explanation in the form of formal discussion games. Furthermore, the current demonstrator also includes the first implementation we know of regarding argument-based judgement aggregation theory